package com.googlecode.kipler.syntax;

public enum LTLBinaryOperator {
	UNTIL, BEFORE;
}
